A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004

Source URL: www.cs.bham.ac.uk

• Mathematical logic
• Combinatory logic
• Fixed-point combinator
• Simply typed lambda calculus
• Programming Computable Functions
• Free variables and bound variables
• Function
• Parameter
• Spectral theory of ordinary differential equations
• Mathematics
• Theoretical computer science
• Lambda calculus